Buy Used and New Bernd Finkbeiner Books

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday: 9300 (Lecture Notes in Computer Science)

by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

ISBN 13: 9783319235332

Format: Paperback (332 pages)
Publisher: Springer
Published: 27 Aug 2015

Save for later

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364 (Lecture Notes in Computer Science)

by Bernd Finkbeiner,Geguang Pu,Lijun Zhang

ISBN 13: 9783319249520

Format: Paperback (536 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday: 12180 (Lecture Notes in Computer Science, 12180)

by Andreas Blass,Patrick Cégielski,Nachum Dershowitz,Manfred Droste,Bernd Finkbeiner

ISBN 13: 9783030480059

Format: Paperback (351 pages)
Publisher: Springer
Published: 23 May 2020

Save for later

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182)

by Bernd Finkbeiner,Thomas Wies

ISBN 13: 9783030945824

Format: Paperback (530 pages)
Publisher: Springer
Published: 14 Jan 2022

Save for later